|
In commutative algebra, a Zariski ring is a commutative Noetherian topological ring ''A'' whose topology is defined by an ideal ''m'' contained in the Jacobson radical, the intersection of all maximal ideals. They were introduced by under the name "semi-local ring" which now means something different, and named "Zariski rings" by . Examples of Zariski rings are noetherian local rings and -adic completions of noetherian rings. Let ''A'' be a noetherian ring and its -adic completion. Then the following are equivalent. * is faithfully flat over ''A'' (in general, only flat over it). * Every maximal ideal is closed for the -adic topology. * ''A'' is a Zariski ring. ==References== * M. Atiyah, I. Macdonald ''Introduction to commutative algebra'' Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969 * * * 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Zariski ring」の詳細全文を読む スポンサード リンク
|